formal: fix workflow permissions
authorGeorge Sapkin <[email protected]>
Wed, 26 Nov 2025 13:34:57 +0000 (15:34 +0200)
committerJiri Slachta <[email protected]>
Wed, 3 Dec 2025 12:04:54 +0000 (13:04 +0100)
commit08e2bd12362bc7822caec2120be386cca5b99b5a
tree26b2e29b0b8c047208de4eb981135a5df9039097
parent6e2a8b34c5c3c69a17442898eb7cbd4d4d090769
formal: fix workflow permissions

Fix formality check permissions that are needed to post optional
summaries back to the PR.

Link: openwrt/actions-shared-workflows#64
Signed-off-by: George Sapkin <[email protected]>
.github/workflows/formal.yml